Translating C to safer Rust

Translating C# to Branching Symbolic Transducers

The paper looks at tooling aspects of transforming C# programs into symbolic transducers with branching rules (BSTs). The latter are used for describing list comprehensions that incorporate loopcarried state. One concrete application is log analysis where input streams of data are transformed into output streams of data via intermediate pipelines of transducers. The paper presents algorithms fo...

Towards Translating Embedded Curry to C ? ( Extended

Translating Uppaal to Not Quite C*

This project presents a simple translation from Uppaal models of real-time controllers to NQC programs. The modeling of these controllers in Uppaal provides a way to verify the requirements on these controllers. The user directs the translation by defining a type for each variable used in the model and by assigning each automaton in the model to a controller. The translation, that has been impl...

Additions to the rust mycobiota of Iran

In the present study, two species of rosaceous rust fungi are reported from Iran. Ochropsora ariae is newly reported for Iranian rust mycobiota. This is the first report of a member of the genus Ochropsora from Iran. Kuehneola uredinis is reported for the second time from Iran since its first report in 1958 under the name K. albida. Pyrus boissieriana</em...

Optimizing P#: Translating Prolog to More Idiomatic C#

P# is our Prolog implementation which operates by translating Prolog to C# source code. The C# produced by the latest version (1.1.3) of P# was very unlike the code which a human programmer might produce. In this paper we show how, aided by mode and type annotations, more idiomatic C# can be generated by translating tail-recursion into while loops and applying liveness analysis to remove unnece...